int array[100000] = {1};
void __attribute__((section(".entry_function"))) _start(void)
{
    int(*prints)(char *) = (void*)0xffffffff8f0d5534;
    int(*printc)(char) = (void*)0xffffffff8f0d5570;
    prints("\rHello OS");
    while(1){
        //prints("Hello OS");
        if((*(char *)0xffffffffbfe00005) & 0x01){
            printc(*(char *)0xffffffffbfe00000);
        }
    }
}
